$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. $e$ $=$ ${\it e'}$ $\Rightarrow$ ([$e$, ${\it e'}$] $\sim$ [${\it e'}$])